Lambda-topology vs. Pointwise Topology

This paper deals with families of conformal iterated function systems (CIFS). The space CIFS(X, I) of all CIFS, with common seed space X and alphabet I, is successively endowed with the topology of pointwise convergence and the so-called λ-topology. We show just how bad the topology of pointwise convergence is: although the Hausdorff dimension function is continuous on a dense Gδ-set, it is also discontinuous on a dense subset of CIFS(X, I). Moreover, all the different types of systems (irregular, critically regular, etc...), have empty interior, have for boundary the whole space, and thus are dense in CIFS(X, I), which goes against intuition and conception of a natural topology on CIFS(X, I). We then prove how good the λ-topology is: Roy and Urbański [8] have previously pointed out that the Hausdorff dimension function is then continuous everywhere on CIFS(X, I). We go further in this paper. We show that (almost) all the different types of systems have natural topological properties. We also show that, despite not being metrizable (for it does not satisfy the first axiom of countability), the λ-topology makes the space CIFS(X, I) normal. Moreover, this space has no isolated points. We further prove that the conformal Gibbs measures and invariant Gibbs measures depend continuously on Φ ∈ CIFS(X, I) and on the parameter t of the potential and pressure functions. However, we demonstrate that the coding map and the closure of the limit set are discontinuous on an important subset of CIFS(X).